es{-}init(${\it es}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$final{-}iterate(es{-}pred?(${\it es}$); $e$)